🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🏹 Effect Systems
Algebraic Effects, Effect Handlers, Computational Effects, Pure Functions
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol
·
9h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
arxiv.org
·
1h
🔄
Finite State Machines
Deriving Rope the Proper Way
nor-blog.pages.dev
·
8h
·
Discuss:
Hacker News
➡️
Category Theory
Composable Effect Handling for Programming LLM-integrated Scripts
arxiv.org
·
2d
⚙️
PL Implementation
5 books that changed my engineering career forever
newsletter.techworld-with-milan.com
·
14h
·
Discuss:
r/programming
🔄
Reproducible Builds
I Built an Vibe Coding Misalignment Detector (and Used It to Build Itself)
github.com
·
13h
·
Discuss:
Hacker News
🧪
Property-Based Testing
A Compute-Matched Re-Evaluation of TroVE on MATH
arxiv.org
·
1d
✓
Automated Theorem Proving
2000 words about arrays and tables
buttondown.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💻
CS
Cogito V2 Preview
deepcogito.com
·
11h
·
Discuss:
Hacker News
🔠
Type-Level Programming
Introduction to Computer Music an Electronic Textbook
cmtext.com
·
17h
·
Discuss:
Hacker News
💻
CS
The Math Is Haunted
overreacted.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/javascript
,
r/programming
🎮
Verification Games
How Judoscale's Utilization-Based Autoscaling Works
judoscale.com
·
14h
·
Discuss:
Hacker News
👁️
System Observability
Go Assembly Mutation Testing
words.filippo.io
·
12h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧪
Property-Based Testing
Programming is magic, or how I wrote a Kalaha solver
vlaaad.github.io
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
The Dartboard Sequence
mathpages.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun
·
2d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org
·
2d
🔍
Formal Verification
Why build a domain-specific agent for front end tasks?
kombai.com
·
15h
·
Discuss:
Hacker News
🔤
DSLs
The smallest embeddable scripting language, part 1
log.schemescape.com
·
13h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
PL Implementation
Sync primitives are Functionally Complete
kprotty.me
·
18h
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/programming
🐫
OCaml
Loading...
Loading more...
Page 2 »